Mirn133-1<neo> http://identifiers.org/mgd/MGI:3822152 MGI:3822152 targeted mutation 1, Eric N Olson Null/knockout Mir133a-1<tm1Eno>